PET

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 100
Property:crash (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.05 --relative-error --only-result -m pacman.nm -p pacman.props --property crash --const MAXSTEPS=100
Execution
Walltime:1459.225091934204s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at de.tum.in.pet.sampler.UnboundedSampler$$Lambda$18/0x00000008400da440.get$Lambda(Unknown Source)
	at java.base/java.lang.invoke.DirectMethodHandle$Holder.invokeStatic(DirectMethodHandle$Holder)
	at java.base/java.lang.invoke.LambdaForm$MH/0x00000008400d9840.linkToTargetMethod(LambdaForm$MH)
	at de.tum.in.pet.sampler.UnboundedSampler.sampleNextState(UnboundedSampler.java:244)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:158)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveMdp(ReachChecker.java:250)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:144)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)